﻿mergeInto(LibraryManager.library, 
{
	 Log: function(str) {
         console.log(Pointer_stringify(str));
     },

     Alert: function(str) {
         window.alert(Pointer_stringify(str));
     },

     IsMobile: function() {
         if (/Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent)) {
             return true;
         } else {
             return false;
         }
     },
});